Ehresmann connection

【数学】埃伦斯曼联络